From Proofs To Algorithms For Machine Learning Problems